Team Camus
Members
Overall Objectives
Research Program
Research Directions
Static Parallelization and Optimization
Profiling and Execution Behavior Modeling
Dynamic Parallelization and Optimization, Virtual Machine
Proof of Program Transformations for Multicores
Application Domains
Application Domains
Highlights of the Year
New Software and Platforms
Apollo
CLooG
Clan
Clay
IBB
OpenScop
PolyLib
ORWL and P99
Stdatomic and Musl
New Results
Formal Proofs about Happens-before in Explicitly Parallel Polyhedral Programs
Loop Nests and Integer Polyhedra
Splitting Polyhedra to Generate More Efficient Code
Code-Bones for Fast and Flexible Runtime Code Generation
Automatic Collapsing of Non-Rectangular Loops
Efficient Data Structures for a PIC Code on SIMD Architectures
Interactive Code Restructuring
Automatic Generation of Adaptive Simulation Codes
Polyhedral Compiler White-Boxing
Mapping Deviation
Combining Locking and Data Management Interfaces
Bilateral Contracts and Grants with Industry
Caldera
NANO 2017/PSAIC
Partnerships and Cooperations
National Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2016
|
Presentation of the Team CAMUS
|
CAMUS Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Researchers
Rachid Seghir
Date: April 30 - May 14
Institution: University of Batna, Algeria
Previous |
Home
| Next